# 给定一个二叉树，判断其是否是一个有效的二叉搜索树。
#
#  假设一个二叉搜索树具有如下特征：
#
#
#  节点的左子树只包含小于当前节点的数。
#  节点的右子树只包含大于当前节点的数。
#  所有左子树和右子树自身必须也是二叉搜索树。
#
#
#  示例 1:
#
#  输入:
#     2
#    / \
#   1   3
# 输出: true
#
#
#  示例 2:
#
#  输入:
#     5
#    / \
#   1   4
#      / \
#     3   6
# 输出: false
# 解释: 输入为: [5,1,4,null,null,3,6]。
#      根节点的值为 5 ，但是其右子节点值为 4 。
#
#  Related Topics 树 深度优先搜索
#  👍 751 👎 0


# leetcode submit region begin(Prohibit modification and deletion)
# Definition for a binary tree node.
# class TreeNode(object):
#     def __init__(self, x):
#         self.val = x
#         self.left = None
#         self.right = None
import sys


class Solution(object):
    def isValidBST(self, root):
        """
        :type root: TreeNode
        :rtype: bool
        这题目有个陷阱，容易只比较根节点和左右子树的节点大小，但是可能存在子树的子节点不满足

        比如
    5
   / \
  1   7
     / \
    3   8
    这里 3 比 7 小，但是比 5 小，不满足右边所有的节点都比根节点的值5大，所以递归的时候需要主要传入一个根节点的值，因为根节点5的值肯定是最小的，那么右边的子树都需要比
    根节点的值大
    同时对于对于左子树，所有的节点大小都要比 5 小，因为5是最大的

        那么总结就是：
        对于右边的子树所有的节点都必须 大于 根节点
        对于左边的节点都必须小于根节点
        """

        def helper(root, upper, lower):
            if not root:
                return True

            if root.val >= upper or root.val <= lower:
                return False

            return helper(root.left, root.val, lower) and helper(root.right, upper, root.val)

        return helper(root, sys.maxsize, -sys.maxsize)

# leetcode submit region end(Prohibit modification and deletion)
